Random-access machine - PDFSEARCH.IO - Document Search Engine

Random-access machine
Results: 56

#	Item
21	Computation-Trace Indistinguishability Obfuscation and its Applications Yu-Chi Chen∗ Sherman S. M. Chow† Wei-Kai Lin¶ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 11:40:02 Computing Computability theory Parallel Random Access Machine Formal methods Central processing unit Distributed computing NC Random access machine Actor model Theoretical computer science Applied mathematics Models of computation
22	The tree machine? Arnaud Spiwack MINES ParisTech Abstract. A variant of Turing machines is introduced where the tape Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-19 09:03:36 Mathematics Computability theory Formal methods Turing machine Random access machine Computational complexity theory Algorithm Lambda calculus FO Theory of computation Models of computation Theoretical computer science
23	Secret Shared Random Access Machine (Preliminary Version) Shlomi Dolev∗ Yin Li† March 28, 2015 Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-03-28 08:21:27 Cryptographic protocols Key management Secret sharing Time complexity Algorithm Polynomial XTR Theoretical computer science Applied mathematics Mathematics
24	Characterising Effective Resource Analyses for Parallel and Distributed Coordination P. W. Trinder1 , M. I. Cole2 , H-W. Loidl1 , and G. J. Michaelson1 1 School of Mathematical and Computer Sciences, Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-04-06 09:34:25 Theoretical computer science Software engineering Parallel computing Parallel Random Access Machine Bulk synchronous parallel Distributed computing Programming language Kahn process networks Thread Models of computation Computing Concurrent computing
25	Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala ∗ Andrew W. Appel Princeton University {sudhakar,appel}@cs.princeton.edu Abstract Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2003-03-06 09:41:50 Java platform Computing platforms Memory management Pointer Java virtual machine Java Native Interface Dynamic random-access memory Type safety ECC memory Computing Computer memory Cross-platform software
26	ON PURPOSE AN ENQUIRY INTO THE POSSIBLE ROLES OF THE COMPUTER IN ART HAROLD COHEN Add to Reading List Source URL: www.aaronshome.com Language: English - Date: 2014-09-12 15:26:30 Computer Computing Machine code Machine-or-transformation test Abstract machine Computer science Register machines Pointer machine Random access machine Models of computation Theory of computation Theoretical computer science
27	Microsoft Word - IBS[removed]AI NNets, Gene, NLP.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:45:45 Philosophy of mathematics Tic-tac-toe Function First-order logic Combinatory logic Economic model Model theory Random access machine Mathematics Mathematical logic Logic
28	Parallel Processing Letters cfWorld Scientific Publishing Company FAILURE-SENSITIVE ANALYSIS OF PARALLEL ALGORITHMS WITH CONTROLLED MEMORY ACCESS CONCURRENCY∗ CHRYSSIS GEORGIOU Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2007-11-27 05:21:39 Parallel Random Access Machine Parallel algorithm Multi-core processor Algorithm Cell Computational complexity theory NC Linearizability List ranking Concurrent computing Computing Parallel computing
29	Second Attempt to Build a Model of the Tick-Tack-Toe Game Dimiter Dobrev Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, “Acad. G. Bonchev” Str., Bl. 8, Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2008-01-11 14:21:12 Philosophy of mathematics Model theory Function First-order logic Combinatory logic Tic-tac-toe Economic model Random access machine Mathematics Mathematical logic Logic
30	Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Programming language implementation Software engineering Alias analysis Static program analysis X86 assembly language JMP IBM Basic assembly language PDP-8 Random access machine Assembly languages Computer architecture Computing